例句與造句

1. Clarke's interests include software and theorem prover ( Parthenon ) and the first theorem prover to be based on a symbolic computation system ( Analytica ).
2. It's difficult to find symbolic computation system in a sentence. 用symbolic computation system造句挺難的